Formalizing Incremental Design in Real-time Area: SCTL/MUS-T
نویسندگان
چکیده
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in HRT are by nature functional requirements, since system correctness depends on their fulfillment. Whereas the correctness dependence of the time imposes considering timing requirements from the early stages of the production process, complexity enforces a lifecycle model which fits in with requirements change and splits complexity by means of an incremental and iterative structure. Taking these aims as a starting point, this paper introduces SCTL/MUS-T methodology as supporting HRT design in a formalized and incremental way.
منابع مشابه
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology
The development of requirements specifications can be supported by a cycle composed of two phases: analysis and revision. In this paper, we use the SCTL-MUS methodology to bridge the gap between these two phases. Analysis phase provides diagnostic information if a desirable property is not satisfied by the current system specification. A crucial aspect of the analysis-revision cycle is how to u...
متن کاملDesign a Real Time PCR with SYBR Green for quantification of HTLV-1 proviral load for blood donors
Abstract Background and Objectives In Iran, Khorasan province is an endemic area for HTLV-1 virus. Considering the inability of serological tests to determine HTLV-1 in window period, their failure to confirm the indetermination results of western blot, and given the probability for HTLV-1 transfusion transmission, a SYBR green-based Real Time PCR was set to measure the HTLV-1 proviral load. ...
متن کاملReal-Time Kinematic Network of Tehran, from Design to Application
Following the request of the Tehran municipality and in order to provide the spatial information required in their various projects, a real-time kinematic network has been designed for Tehran. Based on the existing measures such as the dilution of precision at the network point positions, two different designs have been proposed. A minimum number of six GNSS stations are used in both of the pro...
متن کاملSupporting Incremental Formalization with the Hyper-Object Substrate
Computers require formally represented information to perform computations that support users; yet users who have needed such support have often proved to be unable or unwilling to formalize it. To address this problem, this paper introduces an approach called incremental formalization, in which, first, users express information informally and then the system aids them in formalizing it. Increm...
متن کاملA Hybrid Framework for Building an Efficient Incremental Intrusion Detection System
In this paper, a boosting-based incremental hybrid intrusion detection system is introduced. This system combines incremental misuse detection and incremental anomaly detection. We use boosting ensemble of weak classifiers to implement misuse intrusion detection system. It can identify new classes types of intrusions that do not exist in the training dataset for incremental misuse detection. As...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002